ALL ASU ECSU ECU FSU NCCU UNCA UNCC UNCG UNCP UNCW WCU       

 

Browse All

• Titles
• Author By Last Name
• Keywords
• Departments

Theses & Dissertations

• Titles
• Author By Last Name
• Advisor By Last Name
• Keywords
• Type
• Degrees By Discipline

Submissions

• Articles, Chapters, & other finished products
• Research Data
• Notice & Takedown Policy

Browse by Keywords - S

Select the first letter of the keywords to browse

• OTHER
• .
• 1
• 2
• 3
• A
• B
• C
• D
• E
• F
• G
• H
• I
• J
• K
• L
• M
• N
• O
• P
• Q
• R
• S
• T
• U
• V
• W
• Y
• Z

There are 2 record/s using the keyword/s: structural resolution.

Title	Date	Creator	Publication Type	Institution
Structural Resolution for Automated Verification	2015	Johann, Patricia	Faculty	Computer Science, ASU
Structural Resolution for Logic Programming	2015	Johann, Patricia	Faculty	Computer Science, ASU

• Help
• About Us

Maintained by ERIT, University Libraries, UNCG